#ifndef CONSTANTES
#define CONSTANTES

#include <math.h>

#define NB_DEGRES            2

#define _N                   1792 // Nombre de Variables
#define _K                   768 // Nombre de Checks   
#define _M                   5888 // Nombre de Messages 

#define NOEUD   _N
#define MESSAGE _M

#define NmoinsK     (_N-_K)

#define DEG_1                10
#define DEG_2                3

#define DEG_1_COMPUTATIONS   512
#define DEG_2_COMPUTATIONS   256

#define NB_ITERATIONS        20
#define NB_BITS_VARIABLES    8 //8
#define NB_BITS_MESSAGES     6 //6
#define SAT_POS_VAR  ( (0x0001<<(NB_BITS_VARIABLES-1))-1)
#define SAT_NEG_VAR  (-(0x0001<<(NB_BITS_VARIABLES-1))+1)
#define SAT_POS_MSG  ( (0x0001<<(NB_BITS_MESSAGES -1))-1)
#define SAT_NEG_MSG  (-(0x0001<<(NB_BITS_MESSAGES -1))+1)

//static float  beta         = 0.15;
//static int    FACTEUR_BETA = (0x0001<<(NB_BITS_MESSAGES/2));
//static int    BETA_FIX; // = ((int)(FACTEUR_BETA*beta))

#endif


#ifndef _PosNoeudsVariable_
#define _PosNoeudsVariable_
const unsigned short PosNoeudsVariable[5888] ={
/* msg =      0, deg = 10 */     27,     94,    171,    256,    512,    768,   1280,   1554,   1652,   1687, 
/* msg =      1, deg = 10 */     28,     95,    172,    257,    513,    769,   1281,   1555,   1653,   1688, 
/* msg =      2, deg = 10 */     29,     96,    173,    258,    514,    770,   1282,   1556,   1654,   1689, 
/* msg =      3, deg = 10 */     30,     97,    174,    259,    515,    771,   1283,   1557,   1655,   1690, 
/* msg =      4, deg = 10 */     31,     98,    175,    260,    516,    772,   1284,   1558,   1656,   1691, 
/* msg =      5, deg = 10 */     32,     99,    176,    261,    517,    773,   1285,   1559,   1657,   1692, 
/* msg =      6, deg = 10 */     33,    100,    177,    262,    518,    774,   1286,   1560,   1658,   1693, 
/* msg =      7, deg = 10 */     34,    101,    178,    263,    519,    775,   1287,   1561,   1659,   1694, 
/* msg =      8, deg = 10 */     35,    102,    179,    264,    520,    776,   1288,   1562,   1660,   1695, 
/* msg =      9, deg = 10 */     36,    103,    180,    265,    521,    777,   1289,   1563,   1661,   1696, 
/* msg =     10, deg = 10 */     37,    104,    181,    266,    522,    778,   1290,   1564,   1662,   1697, 
/* msg =     11, deg = 10 */     38,    105,    182,    267,    523,    779,   1291,   1565,   1663,   1698, 
/* msg =     12, deg = 10 */     39,    106,    183,    268,    524,    780,   1292,   1566,   1600,   1699, 
/* msg =     13, deg = 10 */     40,    107,    184,    269,    525,    781,   1293,   1567,   1601,   1700, 
/* msg =     14, deg = 10 */     41,    108,    185,    270,    526,    782,   1294,   1568,   1602,   1701, 
/* msg =     15, deg = 10 */     42,    109,    186,    271,    527,    783,   1295,   1569,   1603,   1702, 
/* msg =     16, deg = 10 */     43,    110,    187,    272,    528,    784,   1296,   1570,   1604,   1703, 
/* msg =     17, deg = 10 */     44,    111,    188,    273,    529,    785,   1297,   1571,   1605,   1704, 
/* msg =     18, deg = 10 */     45,    112,    189,    274,    530,    786,   1298,   1572,   1606,   1705, 
/* msg =     19, deg = 10 */     46,    113,    190,    275,    531,    787,   1299,   1573,   1607,   1706, 
/* msg =     20, deg = 10 */     47,    114,    191,    276,    532,    788,   1300,   1574,   1608,   1707, 
/* msg =     21, deg = 10 */     48,    115,    128,    277,    533,    789,   1301,   1575,   1609,   1708, 
/* msg =     22, deg = 10 */     49,    116,    129,    278,    534,    790,   1302,   1576,   1610,   1709, 
/* msg =     23, deg = 10 */     50,    117,    130,    279,    535,    791,   1303,   1577,   1611,   1710, 
/* msg =     24, deg = 10 */     51,    118,    131,    280,    536,    792,   1304,   1578,   1612,   1711, 
/* msg =     25, deg = 10 */     52,    119,    132,    281,    537,    793,   1305,   1579,   1613,   1712, 
/* msg =     26, deg = 10 */     53,    120,    133,    282,    538,    794,   1306,   1580,   1614,   1713, 
/* msg =     27, deg = 10 */     54,    121,    134,    283,    539,    795,   1307,   1581,   1615,   1714, 
/* msg =     28, deg = 10 */     55,    122,    135,    284,    540,    796,   1308,   1582,   1616,   1715, 
/* msg =     29, deg = 10 */     56,    123,    136,    285,    541,    797,   1309,   1583,   1617,   1716, 
/* msg =     30, deg = 10 */     57,    124,    137,    286,    542,    798,   1310,   1584,   1618,   1717, 
/* msg =     31, deg = 10 */     58,    125,    138,    287,    543,    799,   1311,   1585,   1619,   1718, 
/* msg =     32, deg = 10 */     59,    126,    139,    288,    544,    800,   1312,   1586,   1620,   1719, 
/* msg =     33, deg = 10 */     60,    127,    140,    289,    545,    801,   1313,   1587,   1621,   1720, 
/* msg =     34, deg = 10 */     61,     64,    141,    290,    546,    802,   1314,   1588,   1622,   1721, 
/* msg =     35, deg = 10 */     62,     65,    142,    291,    547,    803,   1315,   1589,   1623,   1722, 
/* msg =     36, deg = 10 */     63,     66,    143,    292,    548,    804,   1316,   1590,   1624,   1723, 
/* msg =     37, deg = 10 */      0,     67,    144,    293,    549,    805,   1317,   1591,   1625,   1724, 
/* msg =     38, deg = 10 */      1,     68,    145,    294,    550,    806,   1318,   1592,   1626,   1725, 
/* msg =     39, deg = 10 */      2,     69,    146,    295,    551,    807,   1319,   1593,   1627,   1726, 
/* msg =     40, deg = 10 */      3,     70,    147,    296,    552,    808,   1320,   1594,   1628,   1727, 
/* msg =     41, deg = 10 */      4,     71,    148,    297,    553,    809,   1321,   1595,   1629,   1664, 
/* msg =     42, deg = 10 */      5,     72,    149,    298,    554,    810,   1322,   1596,   1630,   1665, 
/* msg =     43, deg = 10 */      6,     73,    150,    299,    555,    811,   1323,   1597,   1631,   1666, 
/* msg =     44, deg = 10 */      7,     74,    151,    300,    556,    812,   1324,   1598,   1632,   1667, 
/* msg =     45, deg = 10 */      8,     75,    152,    301,    557,    813,   1325,   1599,   1633,   1668, 
/* msg =     46, deg = 10 */      9,     76,    153,    302,    558,    814,   1326,   1536,   1634,   1669, 
/* msg =     47, deg = 10 */     10,     77,    154,    303,    559,    815,   1327,   1537,   1635,   1670, 
/* msg =     48, deg = 10 */     11,     78,    155,    304,    560,    816,   1328,   1538,   1636,   1671, 
/* msg =     49, deg = 10 */     12,     79,    156,    305,    561,    817,   1329,   1539,   1637,   1672, 
/* msg =     50, deg = 10 */     13,     80,    157,    306,    562,    818,   1330,   1540,   1638,   1673, 
/* msg =     51, deg = 10 */     14,     81,    158,    307,    563,    819,   1331,   1541,   1639,   1674, 
/* msg =     52, deg = 10 */     15,     82,    159,    308,    564,    820,   1332,   1542,   1640,   1675, 
/* msg =     53, deg = 10 */     16,     83,    160,    309,    565,    821,   1333,   1543,   1641,   1676, 
/* msg =     54, deg = 10 */     17,     84,    161,    310,    566,    822,   1334,   1544,   1642,   1677, 
/* msg =     55, deg = 10 */     18,     85,    162,    311,    567,    823,   1335,   1545,   1643,   1678, 
/* msg =     56, deg = 10 */     19,     86,    163,    312,    568,    824,   1336,   1546,   1644,   1679, 
/* msg =     57, deg = 10 */     20,     87,    164,    313,    569,    825,   1337,   1547,   1645,   1680, 
/* msg =     58, deg = 10 */     21,     88,    165,    314,    570,    826,   1338,   1548,   1646,   1681, 
/* msg =     59, deg = 10 */     22,     89,    166,    315,    571,    827,   1339,   1549,   1647,   1682, 
/* msg =     60, deg = 10 */     23,     90,    167,    316,    572,    828,   1340,   1550,   1648,   1683, 
/* msg =     61, deg = 10 */     24,     91,    168,    317,    573,    829,   1341,   1551,   1649,   1684, 
/* msg =     62, deg = 10 */     25,     92,    169,    318,    574,    830,   1342,   1552,   1650,   1685, 
/* msg =     63, deg = 10 */     26,     93,    170,    319,    575,    831,   1343,   1553,   1651,   1686, 
/* msg =     64, deg = 10 */    103,    142,    214,    320,    576,    832,   1344,   1632,   1685,   1764, 
/* msg =     65, deg = 10 */    104,    143,    215,    321,    577,    833,   1345,   1633,   1686,   1765, 
/* msg =     66, deg = 10 */    105,    144,    216,    322,    578,    834,   1346,   1634,   1687,   1766, 
/* msg =     67, deg = 10 */    106,    145,    217,    323,    579,    835,   1347,   1635,   1688,   1767, 
/* msg =     68, deg = 10 */    107,    146,    218,    324,    580,    836,   1348,   1636,   1689,   1768, 
/* msg =     69, deg = 10 */    108,    147,    219,    325,    581,    837,   1349,   1637,   1690,   1769, 
/* msg =     70, deg = 10 */    109,    148,    220,    326,    582,    838,   1350,   1638,   1691,   1770, 
/* msg =     71, deg = 10 */    110,    149,    221,    327,    583,    839,   1351,   1639,   1692,   1771, 
/* msg =     72, deg = 10 */    111,    150,    222,    328,    584,    840,   1352,   1640,   1693,   1772, 
/* msg =     73, deg = 10 */    112,    151,    223,    329,    585,    841,   1353,   1641,   1694,   1773, 
/* msg =     74, deg = 10 */    113,    152,    224,    330,    586,    842,   1354,   1642,   1695,   1774, 
/* msg =     75, deg = 10 */    114,    153,    225,    331,    587,    843,   1355,   1643,   1696,   1775, 
/* msg =     76, deg = 10 */    115,    154,    226,    332,    588,    844,   1356,   1644,   1697,   1776, 
/* msg =     77, deg = 10 */    116,    155,    227,    333,    589,    845,   1357,   1645,   1698,   1777, 
/* msg =     78, deg = 10 */    117,    156,    228,    334,    590,    846,   1358,   1646,   1699,   1778, 
/* msg =     79, deg = 10 */    118,    157,    229,    335,    591,    847,   1359,   1647,   1700,   1779, 
/* msg =     80, deg = 10 */    119,    158,    230,    336,    592,    848,   1360,   1648,   1701,   1780, 
/* msg =     81, deg = 10 */    120,    159,    231,    337,    593,    849,   1361,   1649,   1702,   1781, 
/* msg =     82, deg = 10 */    121,    160,    232,    338,    594,    850,   1362,   1650,   1703,   1782, 
/* msg =     83, deg = 10 */    122,    161,    233,    339,    595,    851,   1363,   1651,   1704,   1783, 
/* msg =     84, deg = 10 */    123,    162,    234,    340,    596,    852,   1364,   1652,   1705,   1784, 
/* msg =     85, deg = 10 */    124,    163,    235,    341,    597,    853,   1365,   1653,   1706,   1785, 
/* msg =     86, deg = 10 */    125,    164,    236,    342,    598,    854,   1366,   1654,   1707,   1786, 
/* msg =     87, deg = 10 */    126,    165,    237,    343,    599,    855,   1367,   1655,   1708,   1787, 
/* msg =     88, deg = 10 */    127,    166,    238,    344,    600,    856,   1368,   1656,   1709,   1788, 
/* msg =     89, deg = 10 */     64,    167,    239,    345,    601,    857,   1369,   1657,   1710,   1789, 
/* msg =     90, deg = 10 */     65,    168,    240,    346,    602,    858,   1370,   1658,   1711,   1790, 
/* msg =     91, deg = 10 */     66,    169,    241,    347,    603,    859,   1371,   1659,   1712,   1791, 
/* msg =     92, deg = 10 */     67,    170,    242,    348,    604,    860,   1372,   1660,   1713,   1728, 
/* msg =     93, deg = 10 */     68,    171,    243,    349,    605,    861,   1373,   1661,   1714,   1729, 
/* msg =     94, deg = 10 */     69,    172,    244,    350,    606,    862,   1374,   1662,   1715,   1730, 
/* msg =     95, deg = 10 */     70,    173,    245,    351,    607,    863,   1375,   1663,   1716,   1731, 
/* msg =     96, deg = 10 */     71,    174,    246,    352,    608,    864,   1376,   1600,   1717,   1732, 
/* msg =     97, deg = 10 */     72,    175,    247,    353,    609,    865,   1377,   1601,   1718,   1733, 
/* msg =     98, deg = 10 */     73,    176,    248,    354,    610,    866,   1378,   1602,   1719,   1734, 
/* msg =     99, deg = 10 */     74,    177,    249,    355,    611,    867,   1379,   1603,   1720,   1735, 
/* msg =    100, deg = 10 */     75,    178,    250,    356,    612,    868,   1380,   1604,   1721,   1736, 
/* msg =    101, deg = 10 */     76,    179,    251,    357,    613,    869,   1381,   1605,   1722,   1737, 
/* msg =    102, deg = 10 */     77,    180,    252,    358,    614,    870,   1382,   1606,   1723,   1738, 
/* msg =    103, deg = 10 */     78,    181,    253,    359,    615,    871,   1383,   1607,   1724,   1739, 
/* msg =    104, deg = 10 */     79,    182,    254,    360,    616,    872,   1384,   1608,   1725,   1740, 
/* msg =    105, deg = 10 */     80,    183,    255,    361,    617,    873,   1385,   1609,   1726,   1741, 
/* msg =    106, deg = 10 */     81,    184,    192,    362,    618,    874,   1386,   1610,   1727,   1742, 
/* msg =    107, deg = 10 */     82,    185,    193,    363,    619,    875,   1387,   1611,   1664,   1743, 
/* msg =    108, deg = 10 */     83,    186,    194,    364,    620,    876,   1388,   1612,   1665,   1744, 
/* msg =    109, deg = 10 */     84,    187,    195,    365,    621,    877,   1389,   1613,   1666,   1745, 
/* msg =    110, deg = 10 */     85,    188,    196,    366,    622,    878,   1390,   1614,   1667,   1746, 
/* msg =    111, deg = 10 */     86,    189,    197,    367,    623,    879,   1391,   1615,   1668,   1747, 
/* msg =    112, deg = 10 */     87,    190,    198,    368,    624,    880,   1392,   1616,   1669,   1748, 
/* msg =    113, deg = 10 */     88,    191,    199,    369,    625,    881,   1393,   1617,   1670,   1749, 
/* msg =    114, deg = 10 */     89,    128,    200,    370,    626,    882,   1394,   1618,   1671,   1750, 
/* msg =    115, deg = 10 */     90,    129,    201,    371,    627,    883,   1395,   1619,   1672,   1751, 
/* msg =    116, deg = 10 */     91,    130,    202,    372,    628,    884,   1396,   1620,   1673,   1752, 
/* msg =    117, deg = 10 */     92,    131,    203,    373,    629,    885,   1397,   1621,   1674,   1753, 
/* msg =    118, deg = 10 */     93,    132,    204,    374,    630,    886,   1398,   1622,   1675,   1754, 
/* msg =    119, deg = 10 */     94,    133,    205,    375,    631,    887,   1399,   1623,   1676,   1755, 
/* msg =    120, deg = 10 */     95,    134,    206,    376,    632,    888,   1400,   1624,   1677,   1756, 
/* msg =    121, deg = 10 */     96,    135,    207,    377,    633,    889,   1401,   1625,   1678,   1757, 
/* msg =    122, deg = 10 */     97,    136,    208,    378,    634,    890,   1402,   1626,   1679,   1758, 
/* msg =    123, deg = 10 */     98,    137,    209,    379,    635,    891,   1403,   1627,   1680,   1759, 
/* msg =    124, deg = 10 */     99,    138,    210,    380,    636,    892,   1404,   1628,   1681,   1760, 
/* msg =    125, deg = 10 */    100,    139,    211,    381,    637,    893,   1405,   1629,   1682,   1761, 
/* msg =    126, deg = 10 */    101,    140,    212,    382,    638,    894,   1406,   1630,   1683,   1762, 
/* msg =    127, deg = 10 */    102,    141,    213,    383,    639,    895,   1407,   1631,   1684,   1763, 
/* msg =    128, deg = 10 */     36,    137,    241,    384,    640,    896,   1408,   1563,   1710,   1773, 
/* msg =    129, deg = 10 */     37,    138,    242,    385,    641,    897,   1409,   1564,   1711,   1774, 
/* msg =    130, deg = 10 */     38,    139,    243,    386,    642,    898,   1410,   1565,   1712,   1775, 
/* msg =    131, deg = 10 */     39,    140,    244,    387,    643,    899,   1411,   1566,   1713,   1776, 
/* msg =    132, deg = 10 */     40,    141,    245,    388,    644,    900,   1412,   1567,   1714,   1777, 
/* msg =    133, deg = 10 */     41,    142,    246,    389,    645,    901,   1413,   1568,   1715,   1778, 
/* msg =    134, deg = 10 */     42,    143,    247,    390,    646,    902,   1414,   1569,   1716,   1779, 
/* msg =    135, deg = 10 */     43,    144,    248,    391,    647,    903,   1415,   1570,   1717,   1780, 
/* msg =    136, deg = 10 */     44,    145,    249,    392,    648,    904,   1416,   1571,   1718,   1781, 
/* msg =    137, deg = 10 */     45,    146,    250,    393,    649,    905,   1417,   1572,   1719,   1782, 
/* msg =    138, deg = 10 */     46,    147,    251,    394,    650,    906,   1418,   1573,   1720,   1783, 
/* msg =    139, deg = 10 */     47,    148,    252,    395,    651,    907,   1419,   1574,   1721,   1784, 
/* msg =    140, deg = 10 */     48,    149,    253,    396,    652,    908,   1420,   1575,   1722,   1785, 
/* msg =    141, deg = 10 */     49,    150,    254,    397,    653,    909,   1421,   1576,   1723,   1786, 
/* msg =    142, deg = 10 */     50,    151,    255,    398,    654,    910,   1422,   1577,   1724,   1787, 
/* msg =    143, deg = 10 */     51,    152,    192,    399,    655,    911,   1423,   1578,   1725,   1788, 
/* msg =    144, deg = 10 */     52,    153,    193,    400,    656,    912,   1424,   1579,   1726,   1789, 
/* msg =    145, deg = 10 */     53,    154,    194,    401,    657,    913,   1425,   1580,   1727,   1790, 
/* msg =    146, deg = 10 */     54,    155,    195,    402,    658,    914,   1426,   1581,   1664,   1791, 
/* msg =    147, deg = 10 */     55,    156,    196,    403,    659,    915,   1427,   1582,   1665,   1728, 
/* msg =    148, deg = 10 */     56,    157,    197,    404,    660,    916,   1428,   1583,   1666,   1729, 
/* msg =    149, deg = 10 */     57,    158,    198,    405,    661,    917,   1429,   1584,   1667,   1730, 
/* msg =    150, deg = 10 */     58,    159,    199,    406,    662,    918,   1430,   1585,   1668,   1731, 
/* msg =    151, deg = 10 */     59,    160,    200,    407,    663,    919,   1431,   1586,   1669,   1732, 
/* msg =    152, deg = 10 */     60,    161,    201,    408,    664,    920,   1432,   1587,   1670,   1733, 
/* msg =    153, deg = 10 */     61,    162,    202,    409,    665,    921,   1433,   1588,   1671,   1734, 
/* msg =    154, deg = 10 */     62,    163,    203,    410,    666,    922,   1434,   1589,   1672,   1735, 
/* msg =    155, deg = 10 */     63,    164,    204,    411,    667,    923,   1435,   1590,   1673,   1736, 
/* msg =    156, deg = 10 */      0,    165,    205,    412,    668,    924,   1436,   1591,   1674,   1737, 
/* msg =    157, deg = 10 */      1,    166,    206,    413,    669,    925,   1437,   1592,   1675,   1738, 
/* msg =    158, deg = 10 */      2,    167,    207,    414,    670,    926,   1438,   1593,   1676,   1739, 
/* msg =    159, deg = 10 */      3,    168,    208,    415,    671,    927,   1439,   1594,   1677,   1740, 
/* msg =    160, deg = 10 */      4,    169,    209,    416,    672,    928,   1440,   1595,   1678,   1741, 
/* msg =    161, deg = 10 */      5,    170,    210,    417,    673,    929,   1441,   1596,   1679,   1742, 
/* msg =    162, deg = 10 */      6,    171,    211,    418,    674,    930,   1442,   1597,   1680,   1743, 
/* msg =    163, deg = 10 */      7,    172,    212,    419,    675,    931,   1443,   1598,   1681,   1744, 
/* msg =    164, deg = 10 */      8,    173,    213,    420,    676,    932,   1444,   1599,   1682,   1745, 
/* msg =    165, deg = 10 */      9,    174,    214,    421,    677,    933,   1445,   1536,   1683,   1746, 
/* msg =    166, deg = 10 */     10,    175,    215,    422,    678,    934,   1446,   1537,   1684,   1747, 
/* msg =    167, deg = 10 */     11,    176,    216,    423,    679,    935,   1447,   1538,   1685,   1748, 
/* msg =    168, deg = 10 */     12,    177,    217,    424,    680,    936,   1448,   1539,   1686,   1749, 
/* msg =    169, deg = 10 */     13,    178,    218,    425,    681,    937,   1449,   1540,   1687,   1750, 
/* msg =    170, deg = 10 */     14,    179,    219,    426,    682,    938,   1450,   1541,   1688,   1751, 
/* msg =    171, deg = 10 */     15,    180,    220,    427,    683,    939,   1451,   1542,   1689,   1752, 
/* msg =    172, deg = 10 */     16,    181,    221,    428,    684,    940,   1452,   1543,   1690,   1753, 
/* msg =    173, deg = 10 */     17,    182,    222,    429,    685,    941,   1453,   1544,   1691,   1754, 
/* msg =    174, deg = 10 */     18,    183,    223,    430,    686,    942,   1454,   1545,   1692,   1755, 
/* msg =    175, deg = 10 */     19,    184,    224,    431,    687,    943,   1455,   1546,   1693,   1756, 
/* msg =    176, deg = 10 */     20,    185,    225,    432,    688,    944,   1456,   1547,   1694,   1757, 
/* msg =    177, deg = 10 */     21,    186,    226,    433,    689,    945,   1457,   1548,   1695,   1758, 
/* msg =    178, deg = 10 */     22,    187,    227,    434,    690,    946,   1458,   1549,   1696,   1759, 
/* msg =    179, deg = 10 */     23,    188,    228,    435,    691,    947,   1459,   1550,   1697,   1760, 
/* msg =    180, deg = 10 */     24,    189,    229,    436,    692,    948,   1460,   1551,   1698,   1761, 
/* msg =    181, deg = 10 */     25,    190,    230,    437,    693,    949,   1461,   1552,   1699,   1762, 
/* msg =    182, deg = 10 */     26,    191,    231,    438,    694,    950,   1462,   1553,   1700,   1763, 
/* msg =    183, deg = 10 */     27,    128,    232,    439,    695,    951,   1463,   1554,   1701,   1764, 
/* msg =    184, deg = 10 */     28,    129,    233,    440,    696,    952,   1464,   1555,   1702,   1765, 
/* msg =    185, deg = 10 */     29,    130,    234,    441,    697,    953,   1465,   1556,   1703,   1766, 
/* msg =    186, deg = 10 */     30,    131,    235,    442,    698,    954,   1466,   1557,   1704,   1767, 
/* msg =    187, deg = 10 */     31,    132,    236,    443,    699,    955,   1467,   1558,   1705,   1768, 
/* msg =    188, deg = 10 */     32,    133,    237,    444,    700,    956,   1468,   1559,   1706,   1769, 
/* msg =    189, deg = 10 */     33,    134,    238,    445,    701,    957,   1469,   1560,   1707,   1770, 
/* msg =    190, deg = 10 */     34,    135,    239,    446,    702,    958,   1470,   1561,   1708,   1771, 
/* msg =    191, deg = 10 */     35,    136,    240,    447,    703,    959,   1471,   1562,   1709,   1772, 
/* msg =    192, deg = 10 */     30,    117,    194,    448,    704,    960,   1472,   1587,   1612,   1772, 
/* msg =    193, deg = 10 */     31,    118,    195,    449,    705,    961,   1473,   1588,   1613,   1773, 
/* msg =    194, deg = 10 */     32,    119,    196,    450,    706,    962,   1474,   1589,   1614,   1774, 
/* msg =    195, deg = 10 */     33,    120,    197,    451,    707,    963,   1475,   1590,   1615,   1775, 
/* msg =    196, deg = 10 */     34,    121,    198,    452,    708,    964,   1476,   1591,   1616,   1776, 
/* msg =    197, deg = 10 */     35,    122,    199,    453,    709,    965,   1477,   1592,   1617,   1777, 
/* msg =    198, deg = 10 */     36,    123,    200,    454,    710,    966,   1478,   1593,   1618,   1778, 
/* msg =    199, deg = 10 */     37,    124,    201,    455,    711,    967,   1479,   1594,   1619,   1779, 
/* msg =    200, deg = 10 */     38,    125,    202,    456,    712,    968,   1480,   1595,   1620,   1780, 
/* msg =    201, deg = 10 */     39,    126,    203,    457,    713,    969,   1481,   1596,   1621,   1781, 
/* msg =    202, deg = 10 */     40,    127,    204,    458,    714,    970,   1482,   1597,   1622,   1782, 
/* msg =    203, deg = 10 */     41,     64,    205,    459,    715,    971,   1483,   1598,   1623,   1783, 
/* msg =    204, deg = 10 */     42,     65,    206,    460,    716,    972,   1484,   1599,   1624,   1784, 
/* msg =    205, deg = 10 */     43,     66,    207,    461,    717,    973,   1485,   1536,   1625,   1785, 
/* msg =    206, deg = 10 */     44,     67,    208,    462,    718,    974,   1486,   1537,   1626,   1786, 
/* msg =    207, deg = 10 */     45,     68,    209,    463,    719,    975,   1487,   1538,   1627,   1787, 
/* msg =    208, deg = 10 */     46,     69,    210,    464,    720,    976,   1488,   1539,   1628,   1788, 
/* msg =    209, deg = 10 */     47,     70,    211,    465,    721,    977,   1489,   1540,   1629,   1789, 
/* msg =    210, deg = 10 */     48,     71,    212,    466,    722,    978,   1490,   1541,   1630,   1790, 
/* msg =    211, deg = 10 */     49,     72,    213,    467,    723,    979,   1491,   1542,   1631,   1791, 
/* msg =    212, deg = 10 */     50,     73,    214,    468,    724,    980,   1492,   1543,   1632,   1728, 
/* msg =    213, deg = 10 */     51,     74,    215,    469,    725,    981,   1493,   1544,   1633,   1729, 
/* msg =    214, deg = 10 */     52,     75,    216,    470,    726,    982,   1494,   1545,   1634,   1730, 
/* msg =    215, deg = 10 */     53,     76,    217,    471,    727,    983,   1495,   1546,   1635,   1731, 
/* msg =    216, deg = 10 */     54,     77,    218,    472,    728,    984,   1496,   1547,   1636,   1732, 
/* msg =    217, deg = 10 */     55,     78,    219,    473,    729,    985,   1497,   1548,   1637,   1733, 
/* msg =    218, deg = 10 */     56,     79,    220,    474,    730,    986,   1498,   1549,   1638,   1734, 
/* msg =    219, deg = 10 */     57,     80,    221,    475,    731,    987,   1499,   1550,   1639,   1735, 
/* msg =    220, deg = 10 */     58,     81,    222,    476,    732,    988,   1500,   1551,   1640,   1736, 
/* msg =    221, deg = 10 */     59,     82,    223,    477,    733,    989,   1501,   1552,   1641,   1737, 
/* msg =    222, deg = 10 */     60,     83,    224,    478,    734,    990,   1502,   1553,   1642,   1738, 
/* msg =    223, deg = 10 */     61,     84,    225,    479,    735,    991,   1503,   1554,   1643,   1739, 
/* msg =    224, deg = 10 */     62,     85,    226,    480,    736,    992,   1504,   1555,   1644,   1740, 
/* msg =    225, deg = 10 */     63,     86,    227,    481,    737,    993,   1505,   1556,   1645,   1741, 
/* msg =    226, deg = 10 */      0,     87,    228,    482,    738,    994,   1506,   1557,   1646,   1742, 
/* msg =    227, deg = 10 */      1,     88,    229,    483,    739,    995,   1507,   1558,   1647,   1743, 
/* msg =    228, deg = 10 */      2,     89,    230,    484,    740,    996,   1508,   1559,   1648,   1744, 
/* msg =    229, deg = 10 */      3,     90,    231,    485,    741,    997,   1509,   1560,   1649,   1745, 
/* msg =    230, deg = 10 */      4,     91,    232,    486,    742,    998,   1510,   1561,   1650,   1746, 
/* msg =    231, deg = 10 */      5,     92,    233,    487,    743,    999,   1511,   1562,   1651,   1747, 
/* msg =    232, deg = 10 */      6,     93,    234,    488,    744,   1000,   1512,   1563,   1652,   1748, 
/* msg =    233, deg = 10 */      7,     94,    235,    489,    745,   1001,   1513,   1564,   1653,   1749, 
/* msg =    234, deg = 10 */      8,     95,    236,    490,    746,   1002,   1514,   1565,   1654,   1750, 
/* msg =    235, deg = 10 */      9,     96,    237,    491,    747,   1003,   1515,   1566,   1655,   1751, 
/* msg =    236, deg = 10 */     10,     97,    238,    492,    748,   1004,   1516,   1567,   1656,   1752, 
/* msg =    237, deg = 10 */     11,     98,    239,    493,    749,   1005,   1517,   1568,   1657,   1753, 
/* msg =    238, deg = 10 */     12,     99,    240,    494,    750,   1006,   1518,   1569,   1658,   1754, 
/* msg =    239, deg = 10 */     13,    100,    241,    495,    751,   1007,   1519,   1570,   1659,   1755, 
/* msg =    240, deg = 10 */     14,    101,    242,    496,    752,   1008,   1520,   1571,   1660,   1756, 
/* msg =    241, deg = 10 */     15,    102,    243,    497,    753,   1009,   1521,   1572,   1661,   1757, 
/* msg =    242, deg = 10 */     16,    103,    244,    498,    754,   1010,   1522,   1573,   1662,   1758, 
/* msg =    243, deg = 10 */     17,    104,    245,    499,    755,   1011,   1523,   1574,   1663,   1759, 
/* msg =    244, deg = 10 */     18,    105,    246,    500,    756,   1012,   1524,   1575,   1600,   1760, 
/* msg =    245, deg = 10 */     19,    106,    247,    501,    757,   1013,   1525,   1576,   1601,   1761, 
/* msg =    246, deg = 10 */     20,    107,    248,    502,    758,   1014,   1526,   1577,   1602,   1762, 
/* msg =    247, deg = 10 */     21,    108,    249,    503,    759,   1015,   1527,   1578,   1603,   1763, 
/* msg =    248, deg = 10 */     22,    109,    250,    504,    760,   1016,   1528,   1579,   1604,   1764, 
/* msg =    249, deg = 10 */     23,    110,    251,    505,    761,   1017,   1529,   1580,   1605,   1765, 
/* msg =    250, deg = 10 */     24,    111,    252,    506,    762,   1018,   1530,   1581,   1606,   1766, 
/* msg =    251, deg = 10 */     25,    112,    253,    507,    763,   1019,   1531,   1582,   1607,   1767, 
/* msg =    252, deg = 10 */     26,    113,    254,    508,    764,   1020,   1532,   1583,   1608,   1768, 
/* msg =    253, deg = 10 */     27,    114,    255,    509,    765,   1021,   1533,   1584,   1609,   1769, 
/* msg =    254, deg = 10 */     28,    115,    192,    510,    766,   1022,   1534,   1585,   1610,   1770, 
/* msg =    255, deg = 10 */     29,    116,    193,    511,    767,   1023,   1535,   1586,   1611,   1771, 
/* msg =    256, deg = 10 */      0,    270,    430,    510,    512,    907,    967,   1302,   1369,   1536, 
/* msg =    257, deg = 10 */      1,    271,    431,    511,    513,    908,    968,   1303,   1370,   1537, 
/* msg =    258, deg = 10 */      2,    272,    432,    448,    514,    909,    969,   1304,   1371,   1538, 
/* msg =    259, deg = 10 */      3,    273,    433,    449,    515,    910,    970,   1305,   1372,   1539, 
/* msg =    260, deg = 10 */      4,    274,    434,    450,    516,    911,    971,   1306,   1373,   1540, 
/* msg =    261, deg = 10 */      5,    275,    435,    451,    517,    912,    972,   1307,   1374,   1541, 
/* msg =    262, deg = 10 */      6,    276,    436,    452,    518,    913,    973,   1308,   1375,   1542, 
/* msg =    263, deg = 10 */      7,    277,    437,    453,    519,    914,    974,   1309,   1376,   1543, 
/* msg =    264, deg = 10 */      8,    278,    438,    454,    520,    915,    975,   1310,   1377,   1544, 
/* msg =    265, deg = 10 */      9,    279,    439,    455,    521,    916,    976,   1311,   1378,   1545, 
/* msg =    266, deg = 10 */     10,    280,    440,    456,    522,    917,    977,   1312,   1379,   1546, 
/* msg =    267, deg = 10 */     11,    281,    441,    457,    523,    918,    978,   1313,   1380,   1547, 
/* msg =    268, deg = 10 */     12,    282,    442,    458,    524,    919,    979,   1314,   1381,   1548, 
/* msg =    269, deg = 10 */     13,    283,    443,    459,    525,    920,    980,   1315,   1382,   1549, 
/* msg =    270, deg = 10 */     14,    284,    444,    460,    526,    921,    981,   1316,   1383,   1550, 
/* msg =    271, deg = 10 */     15,    285,    445,    461,    527,    922,    982,   1317,   1384,   1551, 
/* msg =    272, deg = 10 */     16,    286,    446,    462,    528,    923,    983,   1318,   1385,   1552, 
/* msg =    273, deg = 10 */     17,    287,    447,    463,    529,    924,    984,   1319,   1386,   1553, 
/* msg =    274, deg = 10 */     18,    288,    384,    464,    530,    925,    985,   1320,   1387,   1554, 
/* msg =    275, deg = 10 */     19,    289,    385,    465,    531,    926,    986,   1321,   1388,   1555, 
/* msg =    276, deg = 10 */     20,    290,    386,    466,    532,    927,    987,   1322,   1389,   1556, 
/* msg =    277, deg = 10 */     21,    291,    387,    467,    533,    928,    988,   1323,   1390,   1557, 
/* msg =    278, deg = 10 */     22,    292,    388,    468,    534,    929,    989,   1324,   1391,   1558, 
/* msg =    279, deg = 10 */     23,    293,    389,    469,    535,    930,    990,   1325,   1392,   1559, 
/* msg =    280, deg = 10 */     24,    294,    390,    470,    536,    931,    991,   1326,   1393,   1560, 
/* msg =    281, deg = 10 */     25,    295,    391,    471,    537,    932,    992,   1327,   1394,   1561, 
/* msg =    282, deg = 10 */     26,    296,    392,    472,    538,    933,    993,   1328,   1395,   1562, 
/* msg =    283, deg = 10 */     27,    297,    393,    473,    539,    934,    994,   1329,   1396,   1563, 
/* msg =    284, deg = 10 */     28,    298,    394,    474,    540,    935,    995,   1330,   1397,   1564, 
/* msg =    285, deg = 10 */     29,    299,    395,    475,    541,    936,    996,   1331,   1398,   1565, 
/* msg =    286, deg = 10 */     30,    300,    396,    476,    542,    937,    997,   1332,   1399,   1566, 
/* msg =    287, deg = 10 */     31,    301,    397,    477,    543,    938,    998,   1333,   1400,   1567, 
/* msg =    288, deg = 10 */     32,    302,    398,    478,    544,    939,    999,   1334,   1401,   1568, 
/* msg =    289, deg = 10 */     33,    303,    399,    479,    545,    940,   1000,   1335,   1402,   1569, 
/* msg =    290, deg = 10 */     34,    304,    400,    480,    546,    941,   1001,   1336,   1403,   1570, 
/* msg =    291, deg = 10 */     35,    305,    401,    481,    547,    942,   1002,   1337,   1404,   1571, 
/* msg =    292, deg = 10 */     36,    306,    402,    482,    548,    943,   1003,   1338,   1405,   1572, 
/* msg =    293, deg = 10 */     37,    307,    403,    483,    549,    944,   1004,   1339,   1406,   1573, 
/* msg =    294, deg = 10 */     38,    308,    404,    484,    550,    945,   1005,   1340,   1407,   1574, 
/* msg =    295, deg = 10 */     39,    309,    405,    485,    551,    946,   1006,   1341,   1344,   1575, 
/* msg =    296, deg = 10 */     40,    310,    406,    486,    552,    947,   1007,   1342,   1345,   1576, 
/* msg =    297, deg = 10 */     41,    311,    407,    487,    553,    948,   1008,   1343,   1346,   1577, 
/* msg =    298, deg = 10 */     42,    312,    408,    488,    554,    949,   1009,   1280,   1347,   1578, 
/* msg =    299, deg = 10 */     43,    313,    409,    489,    555,    950,   1010,   1281,   1348,   1579, 
/* msg =    300, deg = 10 */     44,    314,    410,    490,    556,    951,   1011,   1282,   1349,   1580, 
/* msg =    301, deg = 10 */     45,    315,    411,    491,    557,    952,   1012,   1283,   1350,   1581, 
/* msg =    302, deg = 10 */     46,    316,    412,    492,    558,    953,   1013,   1284,   1351,   1582, 
/* msg =    303, deg = 10 */     47,    317,    413,    493,    559,    954,   1014,   1285,   1352,   1583, 
/* msg =    304, deg = 10 */     48,    318,    414,    494,    560,    955,   1015,   1286,   1353,   1584, 
/* msg =    305, deg = 10 */     49,    319,    415,    495,    561,    956,   1016,   1287,   1354,   1585, 
/* msg =    306, deg = 10 */     50,    256,    416,    496,    562,    957,   1017,   1288,   1355,   1586, 
/* msg =    307, deg = 10 */     51,    257,    417,    497,    563,    958,   1018,   1289,   1356,   1587, 
/* msg =    308, deg = 10 */     52,    258,    418,    498,    564,    959,   1019,   1290,   1357,   1588, 
/* msg =    309, deg = 10 */     53,    259,    419,    499,    565,    896,   1020,   1291,   1358,   1589, 
/* msg =    310, deg = 10 */     54,    260,    420,    500,    566,    897,   1021,   1292,   1359,   1590, 
/* msg =    311, deg = 10 */     55,    261,    421,    501,    567,    898,   1022,   1293,   1360,   1591, 
/* msg =    312, deg = 10 */     56,    262,    422,    502,    568,    899,   1023,   1294,   1361,   1592, 
/* msg =    313, deg = 10 */     57,    263,    423,    503,    569,    900,    960,   1295,   1362,   1593, 
/* msg =    314, deg = 10 */     58,    264,    424,    504,    570,    901,    961,   1296,   1363,   1594, 
/* msg =    315, deg = 10 */     59,    265,    425,    505,    571,    902,    962,   1297,   1364,   1595, 
/* msg =    316, deg = 10 */     60,    266,    426,    506,    572,    903,    963,   1298,   1365,   1596, 
/* msg =    317, deg = 10 */     61,    267,    427,    507,    573,    904,    964,   1299,   1366,   1597, 
/* msg =    318, deg = 10 */     62,    268,    428,    508,    574,    905,    965,   1300,   1367,   1598, 
/* msg =    319, deg = 10 */     63,    269,    429,    509,    575,    906,    966,   1301,   1368,   1599, 
/* msg =    320, deg = 10 */     64,    311,    335,    496,    576,    797,    990,   1388,   1437,   1600, 
/* msg =    321, deg = 10 */     65,    312,    336,    497,    577,    798,    991,   1389,   1438,   1601, 
/* msg =    322, deg = 10 */     66,    313,    337,    498,    578,    799,    992,   1390,   1439,   1602, 
/* msg =    323, deg = 10 */     67,    314,    338,    499,    579,    800,    993,   1391,   1440,   1603, 
/* msg =    324, deg = 10 */     68,    315,    339,    500,    580,    801,    994,   1392,   1441,   1604, 
/* msg =    325, deg = 10 */     69,    316,    340,    501,    581,    802,    995,   1393,   1442,   1605, 
/* msg =    326, deg = 10 */     70,    317,    341,    502,    582,    803,    996,   1394,   1443,   1606, 
/* msg =    327, deg = 10 */     71,    318,    342,    503,    583,    804,    997,   1395,   1444,   1607, 
/* msg =    328, deg = 10 */     72,    319,    343,    504,    584,    805,    998,   1396,   1445,   1608, 
/* msg =    329, deg = 10 */     73,    256,    344,    505,    585,    806,    999,   1397,   1446,   1609, 
/* msg =    330, deg = 10 */     74,    257,    345,    506,    586,    807,   1000,   1398,   1447,   1610, 
/* msg =    331, deg = 10 */     75,    258,    346,    507,    587,    808,   1001,   1399,   1448,   1611, 
/* msg =    332, deg = 10 */     76,    259,    347,    508,    588,    809,   1002,   1400,   1449,   1612, 
/* msg =    333, deg = 10 */     77,    260,    348,    509,    589,    810,   1003,   1401,   1450,   1613, 
/* msg =    334, deg = 10 */     78,    261,    349,    510,    590,    811,   1004,   1402,   1451,   1614, 
/* msg =    335, deg = 10 */     79,    262,    350,    511,    591,    812,   1005,   1403,   1452,   1615, 
/* msg =    336, deg = 10 */     80,    263,    351,    448,    592,    813,   1006,   1404,   1453,   1616, 
/* msg =    337, deg = 10 */     81,    264,    352,    449,    593,    814,   1007,   1405,   1454,   1617, 
/* msg =    338, deg = 10 */     82,    265,    353,    450,    594,    815,   1008,   1406,   1455,   1618, 
/* msg =    339, deg = 10 */     83,    266,    354,    451,    595,    816,   1009,   1407,   1456,   1619, 
/* msg =    340, deg = 10 */     84,    267,    355,    452,    596,    817,   1010,   1344,   1457,   1620, 
/* msg =    341, deg = 10 */     85,    268,    356,    453,    597,    818,   1011,   1345,   1458,   1621, 
/* msg =    342, deg = 10 */     86,    269,    357,    454,    598,    819,   1012,   1346,   1459,   1622, 
/* msg =    343, deg = 10 */     87,    270,    358,    455,    599,    820,   1013,   1347,   1460,   1623, 
/* msg =    344, deg = 10 */     88,    271,    359,    456,    600,    821,   1014,   1348,   1461,   1624, 
/* msg =    345, deg = 10 */     89,    272,    360,    457,    601,    822,   1015,   1349,   1462,   1625, 
/* msg =    346, deg = 10 */     90,    273,    361,    458,    602,    823,   1016,   1350,   1463,   1626, 
/* msg =    347, deg = 10 */     91,    274,    362,    459,    603,    824,   1017,   1351,   1464,   1627, 
/* msg =    348, deg = 10 */     92,    275,    363,    460,    604,    825,   1018,   1352,   1465,   1628, 
/* msg =    349, deg = 10 */     93,    276,    364,    461,    605,    826,   1019,   1353,   1466,   1629, 
/* msg =    350, deg = 10 */     94,    277,    365,    462,    606,    827,   1020,   1354,   1467,   1630, 
/* msg =    351, deg = 10 */     95,    278,    366,    463,    607,    828,   1021,   1355,   1468,   1631, 
/* msg =    352, deg = 10 */     96,    279,    367,    464,    608,    829,   1022,   1356,   1469,   1632, 
/* msg =    353, deg = 10 */     97,    280,    368,    465,    609,    830,   1023,   1357,   1470,   1633, 
/* msg =    354, deg = 10 */     98,    281,    369,    466,    610,    831,    960,   1358,   1471,   1634, 
/* msg =    355, deg = 10 */     99,    282,    370,    467,    611,    768,    961,   1359,   1408,   1635, 
/* msg =    356, deg = 10 */    100,    283,    371,    468,    612,    769,    962,   1360,   1409,   1636, 
/* msg =    357, deg = 10 */    101,    284,    372,    469,    613,    770,    963,   1361,   1410,   1637, 
/* msg =    358, deg = 10 */    102,    285,    373,    470,    614,    771,    964,   1362,   1411,   1638, 
/* msg =    359, deg = 10 */    103,    286,    374,    471,    615,    772,    965,   1363,   1412,   1639, 
/* msg =    360, deg = 10 */    104,    287,    375,    472,    616,    773,    966,   1364,   1413,   1640, 
/* msg =    361, deg = 10 */    105,    288,    376,    473,    617,    774,    967,   1365,   1414,   1641, 
/* msg =    362, deg = 10 */    106,    289,    377,    474,    618,    775,    968,   1366,   1415,   1642, 
/* msg =    363, deg = 10 */    107,    290,    378,    475,    619,    776,    969,   1367,   1416,   1643, 
/* msg =    364, deg = 10 */    108,    291,    379,    476,    620,    777,    970,   1368,   1417,   1644, 
/* msg =    365, deg = 10 */    109,    292,    380,    477,    621,    778,    971,   1369,   1418,   1645, 
/* msg =    366, deg = 10 */    110,    293,    381,    478,    622,    779,    972,   1370,   1419,   1646, 
/* msg =    367, deg = 10 */    111,    294,    382,    479,    623,    780,    973,   1371,   1420,   1647, 
/* msg =    368, deg = 10 */    112,    295,    383,    480,    624,    781,    974,   1372,   1421,   1648, 
/* msg =    369, deg = 10 */    113,    296,    320,    481,    625,    782,    975,   1373,   1422,   1649, 
/* msg =    370, deg = 10 */    114,    297,    321,    482,    626,    783,    976,   1374,   1423,   1650, 
/* msg =    371, deg = 10 */    115,    298,    322,    483,    627,    784,    977,   1375,   1424,   1651, 
/* msg =    372, deg = 10 */    116,    299,    323,    484,    628,    785,    978,   1376,   1425,   1652, 
/* msg =    373, deg = 10 */    117,    300,    324,    485,    629,    786,    979,   1377,   1426,   1653, 
/* msg =    374, deg = 10 */    118,    301,    325,    486,    630,    787,    980,   1378,   1427,   1654, 
/* msg =    375, deg = 10 */    119,    302,    326,    487,    631,    788,    981,   1379,   1428,   1655, 
/* msg =    376, deg = 10 */    120,    303,    327,    488,    632,    789,    982,   1380,   1429,   1656, 
/* msg =    377, deg = 10 */    121,    304,    328,    489,    633,    790,    983,   1381,   1430,   1657, 
/* msg =    378, deg = 10 */    122,    305,    329,    490,    634,    791,    984,   1382,   1431,   1658, 
/* msg =    379, deg = 10 */    123,    306,    330,    491,    635,    792,    985,   1383,   1432,   1659, 
/* msg =    380, deg = 10 */    124,    307,    331,    492,    636,    793,    986,   1384,   1433,   1660, 
/* msg =    381, deg = 10 */    125,    308,    332,    493,    637,    794,    987,   1385,   1434,   1661, 
/* msg =    382, deg = 10 */    126,    309,    333,    494,    638,    795,    988,   1386,   1435,   1662, 
/* msg =    383, deg = 10 */    127,    310,    334,    495,    639,    796,    989,   1387,   1436,   1663, 
/* msg =    384, deg = 10 */    128,    267,    338,    394,    640,    816,    869,   1449,   1485,   1664, 
/* msg =    385, deg = 10 */    129,    268,    339,    395,    641,    817,    870,   1450,   1486,   1665, 
/* msg =    386, deg = 10 */    130,    269,    340,    396,    642,    818,    871,   1451,   1487,   1666, 
/* msg =    387, deg = 10 */    131,    270,    341,    397,    643,    819,    872,   1452,   1488,   1667, 
/* msg =    388, deg = 10 */    132,    271,    342,    398,    644,    820,    873,   1453,   1489,   1668, 
/* msg =    389, deg = 10 */    133,    272,    343,    399,    645,    821,    874,   1454,   1490,   1669, 
/* msg =    390, deg = 10 */    134,    273,    344,    400,    646,    822,    875,   1455,   1491,   1670, 
/* msg =    391, deg = 10 */    135,    274,    345,    401,    647,    823,    876,   1456,   1492,   1671, 
/* msg =    392, deg = 10 */    136,    275,    346,    402,    648,    824,    877,   1457,   1493,   1672, 
/* msg =    393, deg = 10 */    137,    276,    347,    403,    649,    825,    878,   1458,   1494,   1673, 
/* msg =    394, deg = 10 */    138,    277,    348,    404,    650,    826,    879,   1459,   1495,   1674, 
/* msg =    395, deg = 10 */    139,    278,    349,    405,    651,    827,    880,   1460,   1496,   1675, 
/* msg =    396, deg = 10 */    140,    279,    350,    406,    652,    828,    881,   1461,   1497,   1676, 
/* msg =    397, deg = 10 */    141,    280,    351,    407,    653,    829,    882,   1462,   1498,   1677, 
/* msg =    398, deg = 10 */    142,    281,    352,    408,    654,    830,    883,   1463,   1499,   1678, 
/* msg =    399, deg = 10 */    143,    282,    353,    409,    655,    831,    884,   1464,   1500,   1679, 
/* msg =    400, deg = 10 */    144,    283,    354,    410,    656,    768,    885,   1465,   1501,   1680, 
/* msg =    401, deg = 10 */    145,    284,    355,    411,    657,    769,    886,   1466,   1502,   1681, 
/* msg =    402, deg = 10 */    146,    285,    356,    412,    658,    770,    887,   1467,   1503,   1682, 
/* msg =    403, deg = 10 */    147,    286,    357,    413,    659,    771,    888,   1468,   1504,   1683, 
/* msg =    404, deg = 10 */    148,    287,    358,    414,    660,    772,    889,   1469,   1505,   1684, 
/* msg =    405, deg = 10 */    149,    288,    359,    415,    661,    773,    890,   1470,   1506,   1685, 
/* msg =    406, deg = 10 */    150,    289,    360,    416,    662,    774,    891,   1471,   1507,   1686, 
/* msg =    407, deg = 10 */    151,    290,    361,    417,    663,    775,    892,   1408,   1508,   1687, 
/* msg =    408, deg = 10 */    152,    291,    362,    418,    664,    776,    893,   1409,   1509,   1688, 
/* msg =    409, deg = 10 */    153,    292,    363,    419,    665,    777,    894,   1410,   1510,   1689, 
/* msg =    410, deg = 10 */    154,    293,    364,    420,    666,    778,    895,   1411,   1511,   1690, 
/* msg =    411, deg = 10 */    155,    294,    365,    421,    667,    779,    832,   1412,   1512,   1691, 
/* msg =    412, deg = 10 */    156,    295,    366,    422,    668,    780,    833,   1413,   1513,   1692, 
/* msg =    413, deg = 10 */    157,    296,    367,    423,    669,    781,    834,   1414,   1514,   1693, 
/* msg =    414, deg = 10 */    158,    297,    368,    424,    670,    782,    835,   1415,   1515,   1694, 
/* msg =    415, deg = 10 */    159,    298,    369,    425,    671,    783,    836,   1416,   1516,   1695, 
/* msg =    416, deg = 10 */    160,    299,    370,    426,    672,    784,    837,   1417,   1517,   1696, 
/* msg =    417, deg = 10 */    161,    300,    371,    427,    673,    785,    838,   1418,   1518,   1697, 
/* msg =    418, deg = 10 */    162,    301,    372,    428,    674,    786,    839,   1419,   1519,   1698, 
/* msg =    419, deg = 10 */    163,    302,    373,    429,    675,    787,    840,   1420,   1520,   1699, 
/* msg =    420, deg = 10 */    164,    303,    374,    430,    676,    788,    841,   1421,   1521,   1700, 
/* msg =    421, deg = 10 */    165,    304,    375,    431,    677,    789,    842,   1422,   1522,   1701, 
/* msg =    422, deg = 10 */    166,    305,    376,    432,    678,    790,    843,   1423,   1523,   1702, 
/* msg =    423, deg = 10 */    167,    306,    377,    433,    679,    791,    844,   1424,   1524,   1703, 
/* msg =    424, deg = 10 */    168,    307,    378,    434,    680,    792,    845,   1425,   1525,   1704, 
/* msg =    425, deg = 10 */    169,    308,    379,    435,    681,    793,    846,   1426,   1526,   1705, 
/* msg =    426, deg = 10 */    170,    309,    380,    436,    682,    794,    847,   1427,   1527,   1706, 
/* msg =    427, deg = 10 */    171,    310,    381,    437,    683,    795,    848,   1428,   1528,   1707, 
/* msg =    428, deg = 10 */    172,    311,    382,    438,    684,    796,    849,   1429,   1529,   1708, 
/* msg =    429, deg = 10 */    173,    312,    383,    439,    685,    797,    850,   1430,   1530,   1709, 
/* msg =    430, deg = 10 */    174,    313,    320,    440,    686,    798,    851,   1431,   1531,   1710, 
/* msg =    431, deg = 10 */    175,    314,    321,    441,    687,    799,    852,   1432,   1532,   1711, 
/* msg =    432, deg = 10 */    176,    315,    322,    442,    688,    800,    853,   1433,   1533,   1712, 
/* msg =    433, deg = 10 */    177,    316,    323,    443,    689,    801,    854,   1434,   1534,   1713, 
/* msg =    434, deg = 10 */    178,    317,    324,    444,    690,    802,    855,   1435,   1535,   1714, 
/* msg =    435, deg = 10 */    179,    318,    325,    445,    691,    803,    856,   1436,   1472,   1715, 
/* msg =    436, deg = 10 */    180,    319,    326,    446,    692,    804,    857,   1437,   1473,   1716, 
/* msg =    437, deg = 10 */    181,    256,    327,    447,    693,    805,    858,   1438,   1474,   1717, 
/* msg =    438, deg = 10 */    182,    257,    328,    384,    694,    806,    859,   1439,   1475,   1718, 
/* msg =    439, deg = 10 */    183,    258,    329,    385,    695,    807,    860,   1440,   1476,   1719, 
/* msg =    440, deg = 10 */    184,    259,    330,    386,    696,    808,    861,   1441,   1477,   1720, 
/* msg =    441, deg = 10 */    185,    260,    331,    387,    697,    809,    862,   1442,   1478,   1721, 
/* msg =    442, deg = 10 */    186,    261,    332,    388,    698,    810,    863,   1443,   1479,   1722, 
/* msg =    443, deg = 10 */    187,    262,    333,    389,    699,    811,    864,   1444,   1480,   1723, 
/* msg =    444, deg = 10 */    188,    263,    334,    390,    700,    812,    865,   1445,   1481,   1724, 
/* msg =    445, deg = 10 */    189,    264,    335,    391,    701,    813,    866,   1446,   1482,   1725, 
/* msg =    446, deg = 10 */    190,    265,    336,    392,    702,    814,    867,   1447,   1483,   1726, 
/* msg =    447, deg = 10 */    191,    266,    337,    393,    703,    815,    868,   1448,   1484,   1727, 
/* msg =    448, deg = 10 */    192,    349,    421,    471,    704,    847,    908,   1287,   1476,   1728, 
/* msg =    449, deg = 10 */    193,    350,    422,    472,    705,    848,    909,   1288,   1477,   1729, 
/* msg =    450, deg = 10 */    194,    351,    423,    473,    706,    849,    910,   1289,   1478,   1730, 
/* msg =    451, deg = 10 */    195,    352,    424,    474,    707,    850,    911,   1290,   1479,   1731, 
/* msg =    452, deg = 10 */    196,    353,    425,    475,    708,    851,    912,   1291,   1480,   1732, 
/* msg =    453, deg = 10 */    197,    354,    426,    476,    709,    852,    913,   1292,   1481,   1733, 
/* msg =    454, deg = 10 */    198,    355,    427,    477,    710,    853,    914,   1293,   1482,   1734, 
/* msg =    455, deg = 10 */    199,    356,    428,    478,    711,    854,    915,   1294,   1483,   1735, 
/* msg =    456, deg = 10 */    200,    357,    429,    479,    712,    855,    916,   1295,   1484,   1736, 
/* msg =    457, deg = 10 */    201,    358,    430,    480,    713,    856,    917,   1296,   1485,   1737, 
/* msg =    458, deg = 10 */    202,    359,    431,    481,    714,    857,    918,   1297,   1486,   1738, 
/* msg =    459, deg = 10 */    203,    360,    432,    482,    715,    858,    919,   1298,   1487,   1739, 
/* msg =    460, deg = 10 */    204,    361,    433,    483,    716,    859,    920,   1299,   1488,   1740, 
/* msg =    461, deg = 10 */    205,    362,    434,    484,    717,    860,    921,   1300,   1489,   1741, 
/* msg =    462, deg = 10 */    206,    363,    435,    485,    718,    861,    922,   1301,   1490,   1742, 
/* msg =    463, deg = 10 */    207,    364,    436,    486,    719,    862,    923,   1302,   1491,   1743, 
/* msg =    464, deg = 10 */    208,    365,    437,    487,    720,    863,    924,   1303,   1492,   1744, 
/* msg =    465, deg = 10 */    209,    366,    438,    488,    721,    864,    925,   1304,   1493,   1745, 
/* msg =    466, deg = 10 */    210,    367,    439,    489,    722,    865,    926,   1305,   1494,   1746, 
/* msg =    467, deg = 10 */    211,    368,    440,    490,    723,    866,    927,   1306,   1495,   1747, 
/* msg =    468, deg = 10 */    212,    369,    441,    491,    724,    867,    928,   1307,   1496,   1748, 
/* msg =    469, deg = 10 */    213,    370,    442,    492,    725,    868,    929,   1308,   1497,   1749, 
/* msg =    470, deg = 10 */    214,    371,    443,    493,    726,    869,    930,   1309,   1498,   1750, 
/* msg =    471, deg = 10 */    215,    372,    444,    494,    727,    870,    931,   1310,   1499,   1751, 
/* msg =    472, deg = 10 */    216,    373,    445,    495,    728,    871,    932,   1311,   1500,   1752, 
/* msg =    473, deg = 10 */    217,    374,    446,    496,    729,    872,    933,   1312,   1501,   1753, 
/* msg =    474, deg = 10 */    218,    375,    447,    497,    730,    873,    934,   1313,   1502,   1754, 
/* msg =    475, deg = 10 */    219,    376,    384,    498,    731,    874,    935,   1314,   1503,   1755, 
/* msg =    476, deg = 10 */    220,    377,    385,    499,    732,    875,    936,   1315,   1504,   1756, 
/* msg =    477, deg = 10 */    221,    378,    386,    500,    733,    876,    937,   1316,   1505,   1757, 
/* msg =    478, deg = 10 */    222,    379,    387,    501,    734,    877,    938,   1317,   1506,   1758, 
/* msg =    479, deg = 10 */    223,    380,    388,    502,    735,    878,    939,   1318,   1507,   1759, 
/* msg =    480, deg = 10 */    224,    381,    389,    503,    736,    879,    940,   1319,   1508,   1760, 
/* msg =    481, deg = 10 */    225,    382,    390,    504,    737,    880,    941,   1320,   1509,   1761, 
/* msg =    482, deg = 10 */    226,    383,    391,    505,    738,    881,    942,   1321,   1510,   1762, 
/* msg =    483, deg = 10 */    227,    320,    392,    506,    739,    882,    943,   1322,   1511,   1763, 
/* msg =    484, deg = 10 */    228,    321,    393,    507,    740,    883,    944,   1323,   1512,   1764, 
/* msg =    485, deg = 10 */    229,    322,    394,    508,    741,    884,    945,   1324,   1513,   1765, 
/* msg =    486, deg = 10 */    230,    323,    395,    509,    742,    885,    946,   1325,   1514,   1766, 
/* msg =    487, deg = 10 */    231,    324,    396,    510,    743,    886,    947,   1326,   1515,   1767, 
/* msg =    488, deg = 10 */    232,    325,    397,    511,    744,    887,    948,   1327,   1516,   1768, 
/* msg =    489, deg = 10 */    233,    326,    398,    448,    745,    888,    949,   1328,   1517,   1769, 
/* msg =    490, deg = 10 */    234,    327,    399,    449,    746,    889,    950,   1329,   1518,   1770, 
/* msg =    491, deg = 10 */    235,    328,    400,    450,    747,    890,    951,   1330,   1519,   1771, 
/* msg =    492, deg = 10 */    236,    329,    401,    451,    748,    891,    952,   1331,   1520,   1772, 
/* msg =    493, deg = 10 */    237,    330,    402,    452,    749,    892,    953,   1332,   1521,   1773, 
/* msg =    494, deg = 10 */    238,    331,    403,    453,    750,    893,    954,   1333,   1522,   1774, 
/* msg =    495, deg = 10 */    239,    332,    404,    454,    751,    894,    955,   1334,   1523,   1775, 
/* msg =    496, deg = 10 */    240,    333,    405,    455,    752,    895,    956,   1335,   1524,   1776, 
/* msg =    497, deg = 10 */    241,    334,    406,    456,    753,    832,    957,   1336,   1525,   1777, 
/* msg =    498, deg = 10 */    242,    335,    407,    457,    754,    833,    958,   1337,   1526,   1778, 
/* msg =    499, deg = 10 */    243,    336,    408,    458,    755,    834,    959,   1338,   1527,   1779, 
/* msg =    500, deg = 10 */    244,    337,    409,    459,    756,    835,    896,   1339,   1528,   1780, 
/* msg =    501, deg = 10 */    245,    338,    410,    460,    757,    836,    897,   1340,   1529,   1781, 
/* msg =    502, deg = 10 */    246,    339,    411,    461,    758,    837,    898,   1341,   1530,   1782, 
/* msg =    503, deg = 10 */    247,    340,    412,    462,    759,    838,    899,   1342,   1531,   1783, 
/* msg =    504, deg = 10 */    248,    341,    413,    463,    760,    839,    900,   1343,   1532,   1784, 
/* msg =    505, deg = 10 */    249,    342,    414,    464,    761,    840,    901,   1280,   1533,   1785, 
/* msg =    506, deg = 10 */    250,    343,    415,    465,    762,    841,    902,   1281,   1534,   1786, 
/* msg =    507, deg = 10 */    251,    344,    416,    466,    763,    842,    903,   1282,   1535,   1787, 
/* msg =    508, deg = 10 */    252,    345,    417,    467,    764,    843,    904,   1283,   1472,   1788, 
/* msg =    509, deg = 10 */    253,    346,    418,    468,    765,    844,    905,   1284,   1473,   1789, 
/* msg =    510, deg = 10 */    254,    347,    419,    469,    766,    845,    906,   1285,   1474,   1790, 
/* msg =    511, deg = 10 */    255,    348,    420,    470,    767,    846,    907,   1286,   1475,   1791, 
/* msg =    512, deg =  3 */   1024,   1536,   1787, 
/* msg =    513, deg =  3 */   1025,   1537,   1788, 
/* msg =    514, deg =  3 */   1026,   1538,   1789, 
/* msg =    515, deg =  3 */   1027,   1539,   1790, 
/* msg =    516, deg =  3 */   1028,   1540,   1791, 
/* msg =    517, deg =  3 */   1029,   1541,   1728, 
/* msg =    518, deg =  3 */   1030,   1542,   1729, 
/* msg =    519, deg =  3 */   1031,   1543,   1730, 
/* msg =    520, deg =  3 */   1032,   1544,   1731, 
/* msg =    521, deg =  3 */   1033,   1545,   1732, 
/* msg =    522, deg =  3 */   1034,   1546,   1733, 
/* msg =    523, deg =  3 */   1035,   1547,   1734, 
/* msg =    524, deg =  3 */   1036,   1548,   1735, 
/* msg =    525, deg =  3 */   1037,   1549,   1736, 
/* msg =    526, deg =  3 */   1038,   1550,   1737, 
/* msg =    527, deg =  3 */   1039,   1551,   1738, 
/* msg =    528, deg =  3 */   1040,   1552,   1739, 
/* msg =    529, deg =  3 */   1041,   1553,   1740, 
/* msg =    530, deg =  3 */   1042,   1554,   1741, 
/* msg =    531, deg =  3 */   1043,   1555,   1742, 
/* msg =    532, deg =  3 */   1044,   1556,   1743, 
/* msg =    533, deg =  3 */   1045,   1557,   1744, 
/* msg =    534, deg =  3 */   1046,   1558,   1745, 
/* msg =    535, deg =  3 */   1047,   1559,   1746, 
/* msg =    536, deg =  3 */   1048,   1560,   1747, 
/* msg =    537, deg =  3 */   1049,   1561,   1748, 
/* msg =    538, deg =  3 */   1050,   1562,   1749, 
/* msg =    539, deg =  3 */   1051,   1563,   1750, 
/* msg =    540, deg =  3 */   1052,   1564,   1751, 
/* msg =    541, deg =  3 */   1053,   1565,   1752, 
/* msg =    542, deg =  3 */   1054,   1566,   1753, 
/* msg =    543, deg =  3 */   1055,   1567,   1754, 
/* msg =    544, deg =  3 */   1056,   1568,   1755, 
/* msg =    545, deg =  3 */   1057,   1569,   1756, 
/* msg =    546, deg =  3 */   1058,   1570,   1757, 
/* msg =    547, deg =  3 */   1059,   1571,   1758, 
/* msg =    548, deg =  3 */   1060,   1572,   1759, 
/* msg =    549, deg =  3 */   1061,   1573,   1760, 
/* msg =    550, deg =  3 */   1062,   1574,   1761, 
/* msg =    551, deg =  3 */   1063,   1575,   1762, 
/* msg =    552, deg =  3 */   1064,   1576,   1763, 
/* msg =    553, deg =  3 */   1065,   1577,   1764, 
/* msg =    554, deg =  3 */   1066,   1578,   1765, 
/* msg =    555, deg =  3 */   1067,   1579,   1766, 
/* msg =    556, deg =  3 */   1068,   1580,   1767, 
/* msg =    557, deg =  3 */   1069,   1581,   1768, 
/* msg =    558, deg =  3 */   1070,   1582,   1769, 
/* msg =    559, deg =  3 */   1071,   1583,   1770, 
/* msg =    560, deg =  3 */   1072,   1584,   1771, 
/* msg =    561, deg =  3 */   1073,   1585,   1772, 
/* msg =    562, deg =  3 */   1074,   1586,   1773, 
/* msg =    563, deg =  3 */   1075,   1587,   1774, 
/* msg =    564, deg =  3 */   1076,   1588,   1775, 
/* msg =    565, deg =  3 */   1077,   1589,   1776, 
/* msg =    566, deg =  3 */   1078,   1590,   1777, 
/* msg =    567, deg =  3 */   1079,   1591,   1778, 
/* msg =    568, deg =  3 */   1080,   1592,   1779, 
/* msg =    569, deg =  3 */   1081,   1593,   1780, 
/* msg =    570, deg =  3 */   1082,   1594,   1781, 
/* msg =    571, deg =  3 */   1083,   1595,   1782, 
/* msg =    572, deg =  3 */   1084,   1596,   1783, 
/* msg =    573, deg =  3 */   1085,   1597,   1784, 
/* msg =    574, deg =  3 */   1086,   1598,   1785, 
/* msg =    575, deg =  3 */   1087,   1599,   1786, 
/* msg =    576, deg =  3 */   1088,   1536,   1600, 
/* msg =    577, deg =  3 */   1089,   1537,   1601, 
/* msg =    578, deg =  3 */   1090,   1538,   1602, 
/* msg =    579, deg =  3 */   1091,   1539,   1603, 
/* msg =    580, deg =  3 */   1092,   1540,   1604, 
/* msg =    581, deg =  3 */   1093,   1541,   1605, 
/* msg =    582, deg =  3 */   1094,   1542,   1606, 
/* msg =    583, deg =  3 */   1095,   1543,   1607, 
/* msg =    584, deg =  3 */   1096,   1544,   1608, 
/* msg =    585, deg =  3 */   1097,   1545,   1609, 
/* msg =    586, deg =  3 */   1098,   1546,   1610, 
/* msg =    587, deg =  3 */   1099,   1547,   1611, 
/* msg =    588, deg =  3 */   1100,   1548,   1612, 
/* msg =    589, deg =  3 */   1101,   1549,   1613, 
/* msg =    590, deg =  3 */   1102,   1550,   1614, 
/* msg =    591, deg =  3 */   1103,   1551,   1615, 
/* msg =    592, deg =  3 */   1104,   1552,   1616, 
/* msg =    593, deg =  3 */   1105,   1553,   1617, 
/* msg =    594, deg =  3 */   1106,   1554,   1618, 
/* msg =    595, deg =  3 */   1107,   1555,   1619, 
/* msg =    596, deg =  3 */   1108,   1556,   1620, 
/* msg =    597, deg =  3 */   1109,   1557,   1621, 
/* msg =    598, deg =  3 */   1110,   1558,   1622, 
/* msg =    599, deg =  3 */   1111,   1559,   1623, 
/* msg =    600, deg =  3 */   1112,   1560,   1624, 
/* msg =    601, deg =  3 */   1113,   1561,   1625, 
/* msg =    602, deg =  3 */   1114,   1562,   1626, 
/* msg =    603, deg =  3 */   1115,   1563,   1627, 
/* msg =    604, deg =  3 */   1116,   1564,   1628, 
/* msg =    605, deg =  3 */   1117,   1565,   1629, 
/* msg =    606, deg =  3 */   1118,   1566,   1630, 
/* msg =    607, deg =  3 */   1119,   1567,   1631, 
/* msg =    608, deg =  3 */   1120,   1568,   1632, 
/* msg =    609, deg =  3 */   1121,   1569,   1633, 
/* msg =    610, deg =  3 */   1122,   1570,   1634, 
/* msg =    611, deg =  3 */   1123,   1571,   1635, 
/* msg =    612, deg =  3 */   1124,   1572,   1636, 
/* msg =    613, deg =  3 */   1125,   1573,   1637, 
/* msg =    614, deg =  3 */   1126,   1574,   1638, 
/* msg =    615, deg =  3 */   1127,   1575,   1639, 
/* msg =    616, deg =  3 */   1128,   1576,   1640, 
/* msg =    617, deg =  3 */   1129,   1577,   1641, 
/* msg =    618, deg =  3 */   1130,   1578,   1642, 
/* msg =    619, deg =  3 */   1131,   1579,   1643, 
/* msg =    620, deg =  3 */   1132,   1580,   1644, 
/* msg =    621, deg =  3 */   1133,   1581,   1645, 
/* msg =    622, deg =  3 */   1134,   1582,   1646, 
/* msg =    623, deg =  3 */   1135,   1583,   1647, 
/* msg =    624, deg =  3 */   1136,   1584,   1648, 
/* msg =    625, deg =  3 */   1137,   1585,   1649, 
/* msg =    626, deg =  3 */   1138,   1586,   1650, 
/* msg =    627, deg =  3 */   1139,   1587,   1651, 
/* msg =    628, deg =  3 */   1140,   1588,   1652, 
/* msg =    629, deg =  3 */   1141,   1589,   1653, 
/* msg =    630, deg =  3 */   1142,   1590,   1654, 
/* msg =    631, deg =  3 */   1143,   1591,   1655, 
/* msg =    632, deg =  3 */   1144,   1592,   1656, 
/* msg =    633, deg =  3 */   1145,   1593,   1657, 
/* msg =    634, deg =  3 */   1146,   1594,   1658, 
/* msg =    635, deg =  3 */   1147,   1595,   1659, 
/* msg =    636, deg =  3 */   1148,   1596,   1660, 
/* msg =    637, deg =  3 */   1149,   1597,   1661, 
/* msg =    638, deg =  3 */   1150,   1598,   1662, 
/* msg =    639, deg =  3 */   1151,   1599,   1663, 
/* msg =    640, deg =  3 */   1152,   1600,   1664, 
/* msg =    641, deg =  3 */   1153,   1601,   1665, 
/* msg =    642, deg =  3 */   1154,   1602,   1666, 
/* msg =    643, deg =  3 */   1155,   1603,   1667, 
/* msg =    644, deg =  3 */   1156,   1604,   1668, 
/* msg =    645, deg =  3 */   1157,   1605,   1669, 
/* msg =    646, deg =  3 */   1158,   1606,   1670, 
/* msg =    647, deg =  3 */   1159,   1607,   1671, 
/* msg =    648, deg =  3 */   1160,   1608,   1672, 
/* msg =    649, deg =  3 */   1161,   1609,   1673, 
/* msg =    650, deg =  3 */   1162,   1610,   1674, 
/* msg =    651, deg =  3 */   1163,   1611,   1675, 
/* msg =    652, deg =  3 */   1164,   1612,   1676, 
/* msg =    653, deg =  3 */   1165,   1613,   1677, 
/* msg =    654, deg =  3 */   1166,   1614,   1678, 
/* msg =    655, deg =  3 */   1167,   1615,   1679, 
/* msg =    656, deg =  3 */   1168,   1616,   1680, 
/* msg =    657, deg =  3 */   1169,   1617,   1681, 
/* msg =    658, deg =  3 */   1170,   1618,   1682, 
/* msg =    659, deg =  3 */   1171,   1619,   1683, 
/* msg =    660, deg =  3 */   1172,   1620,   1684, 
/* msg =    661, deg =  3 */   1173,   1621,   1685, 
/* msg =    662, deg =  3 */   1174,   1622,   1686, 
/* msg =    663, deg =  3 */   1175,   1623,   1687, 
/* msg =    664, deg =  3 */   1176,   1624,   1688, 
/* msg =    665, deg =  3 */   1177,   1625,   1689, 
/* msg =    666, deg =  3 */   1178,   1626,   1690, 
/* msg =    667, deg =  3 */   1179,   1627,   1691, 
/* msg =    668, deg =  3 */   1180,   1628,   1692, 
/* msg =    669, deg =  3 */   1181,   1629,   1693, 
/* msg =    670, deg =  3 */   1182,   1630,   1694, 
/* msg =    671, deg =  3 */   1183,   1631,   1695, 
/* msg =    672, deg =  3 */   1184,   1632,   1696, 
/* msg =    673, deg =  3 */   1185,   1633,   1697, 
/* msg =    674, deg =  3 */   1186,   1634,   1698, 
/* msg =    675, deg =  3 */   1187,   1635,   1699, 
/* msg =    676, deg =  3 */   1188,   1636,   1700, 
/* msg =    677, deg =  3 */   1189,   1637,   1701, 
/* msg =    678, deg =  3 */   1190,   1638,   1702, 
/* msg =    679, deg =  3 */   1191,   1639,   1703, 
/* msg =    680, deg =  3 */   1192,   1640,   1704, 
/* msg =    681, deg =  3 */   1193,   1641,   1705, 
/* msg =    682, deg =  3 */   1194,   1642,   1706, 
/* msg =    683, deg =  3 */   1195,   1643,   1707, 
/* msg =    684, deg =  3 */   1196,   1644,   1708, 
/* msg =    685, deg =  3 */   1197,   1645,   1709, 
/* msg =    686, deg =  3 */   1198,   1646,   1710, 
/* msg =    687, deg =  3 */   1199,   1647,   1711, 
/* msg =    688, deg =  3 */   1200,   1648,   1712, 
/* msg =    689, deg =  3 */   1201,   1649,   1713, 
/* msg =    690, deg =  3 */   1202,   1650,   1714, 
/* msg =    691, deg =  3 */   1203,   1651,   1715, 
/* msg =    692, deg =  3 */   1204,   1652,   1716, 
/* msg =    693, deg =  3 */   1205,   1653,   1717, 
/* msg =    694, deg =  3 */   1206,   1654,   1718, 
/* msg =    695, deg =  3 */   1207,   1655,   1719, 
/* msg =    696, deg =  3 */   1208,   1656,   1720, 
/* msg =    697, deg =  3 */   1209,   1657,   1721, 
/* msg =    698, deg =  3 */   1210,   1658,   1722, 
/* msg =    699, deg =  3 */   1211,   1659,   1723, 
/* msg =    700, deg =  3 */   1212,   1660,   1724, 
/* msg =    701, deg =  3 */   1213,   1661,   1725, 
/* msg =    702, deg =  3 */   1214,   1662,   1726, 
/* msg =    703, deg =  3 */   1215,   1663,   1727, 
/* msg =    704, deg =  3 */   1216,   1664,   1728, 
/* msg =    705, deg =  3 */   1217,   1665,   1729, 
/* msg =    706, deg =  3 */   1218,   1666,   1730, 
/* msg =    707, deg =  3 */   1219,   1667,   1731, 
/* msg =    708, deg =  3 */   1220,   1668,   1732, 
/* msg =    709, deg =  3 */   1221,   1669,   1733, 
/* msg =    710, deg =  3 */   1222,   1670,   1734, 
/* msg =    711, deg =  3 */   1223,   1671,   1735, 
/* msg =    712, deg =  3 */   1224,   1672,   1736, 
/* msg =    713, deg =  3 */   1225,   1673,   1737, 
/* msg =    714, deg =  3 */   1226,   1674,   1738, 
/* msg =    715, deg =  3 */   1227,   1675,   1739, 
/* msg =    716, deg =  3 */   1228,   1676,   1740, 
/* msg =    717, deg =  3 */   1229,   1677,   1741, 
/* msg =    718, deg =  3 */   1230,   1678,   1742, 
/* msg =    719, deg =  3 */   1231,   1679,   1743, 
/* msg =    720, deg =  3 */   1232,   1680,   1744, 
/* msg =    721, deg =  3 */   1233,   1681,   1745, 
/* msg =    722, deg =  3 */   1234,   1682,   1746, 
/* msg =    723, deg =  3 */   1235,   1683,   1747, 
/* msg =    724, deg =  3 */   1236,   1684,   1748, 
/* msg =    725, deg =  3 */   1237,   1685,   1749, 
/* msg =    726, deg =  3 */   1238,   1686,   1750, 
/* msg =    727, deg =  3 */   1239,   1687,   1751, 
/* msg =    728, deg =  3 */   1240,   1688,   1752, 
/* msg =    729, deg =  3 */   1241,   1689,   1753, 
/* msg =    730, deg =  3 */   1242,   1690,   1754, 
/* msg =    731, deg =  3 */   1243,   1691,   1755, 
/* msg =    732, deg =  3 */   1244,   1692,   1756, 
/* msg =    733, deg =  3 */   1245,   1693,   1757, 
/* msg =    734, deg =  3 */   1246,   1694,   1758, 
/* msg =    735, deg =  3 */   1247,   1695,   1759, 
/* msg =    736, deg =  3 */   1248,   1696,   1760, 
/* msg =    737, deg =  3 */   1249,   1697,   1761, 
/* msg =    738, deg =  3 */   1250,   1698,   1762, 
/* msg =    739, deg =  3 */   1251,   1699,   1763, 
/* msg =    740, deg =  3 */   1252,   1700,   1764, 
/* msg =    741, deg =  3 */   1253,   1701,   1765, 
/* msg =    742, deg =  3 */   1254,   1702,   1766, 
/* msg =    743, deg =  3 */   1255,   1703,   1767, 
/* msg =    744, deg =  3 */   1256,   1704,   1768, 
/* msg =    745, deg =  3 */   1257,   1705,   1769, 
/* msg =    746, deg =  3 */   1258,   1706,   1770, 
/* msg =    747, deg =  3 */   1259,   1707,   1771, 
/* msg =    748, deg =  3 */   1260,   1708,   1772, 
/* msg =    749, deg =  3 */   1261,   1709,   1773, 
/* msg =    750, deg =  3 */   1262,   1710,   1774, 
/* msg =    751, deg =  3 */   1263,   1711,   1775, 
/* msg =    752, deg =  3 */   1264,   1712,   1776, 
/* msg =    753, deg =  3 */   1265,   1713,   1777, 
/* msg =    754, deg =  3 */   1266,   1714,   1778, 
/* msg =    755, deg =  3 */   1267,   1715,   1779, 
/* msg =    756, deg =  3 */   1268,   1716,   1780, 
/* msg =    757, deg =  3 */   1269,   1717,   1781, 
/* msg =    758, deg =  3 */   1270,   1718,   1782, 
/* msg =    759, deg =  3 */   1271,   1719,   1783, 
/* msg =    760, deg =  3 */   1272,   1720,   1784, 
/* msg =    761, deg =  3 */   1273,   1721,   1785, 
/* msg =    762, deg =  3 */   1274,   1722,   1786, 
/* msg =    763, deg =  3 */   1275,   1723,   1787, 
/* msg =    764, deg =  3 */   1276,   1724,   1788, 
/* msg =    765, deg =  3 */   1277,   1725,   1789, 
/* msg =    766, deg =  3 */   1278,   1726,   1790, 
/* msg =    767, deg =  3 */   1279,   1727,   1791
};
#endif

